#!/bin/bash

source scripts/documentation/_common.sh

pushd _doc
make html

echo "*** finished sphinx documentation"
